Periodicity-Based Temporal Constraints
نویسندگان
چکیده
We propose a framework for performing extensional and intensional temporal reasoning about qualitative and quantitative “periodicity-dependent” temporal constraints between repeated events, also considering user-defined periodicities.
منابع مشابه
An intensional approach to qualitative and quantitative periodicity-dependent temporal constraints
In this paper, we propose a framework for representing and reasoning about qualitative and quantitative temporal constraints about periodic events. In particular our contribution is two-folded: (i) we provide a formalism to deal with both qualitative and quantitative “periodicity-dependent” constraints between repeated events, considering also userdefined periodicities; (ii) we propose an inten...
متن کاملS . Demri LTL over Integer Periodicity Constraints
Periodicity constraints are used in many logical formalisms, in fragments of Presburger LTL, in calendar logics, and in logics for access control, to quote a few examples. In the paper, we introduce the logic PLTL, an extension of Linear-Time Temporal Logic LTL with past-time operators whose atomic formulae are defined from a first-order constraint language dealing with periodicity. Although th...
متن کاملLTL over integer periodicity constraints
Periodicity constraints are present in many logical formalisms, in fragments of Presburger LTL, in calendar logics, and in logics for access control, to quote a few examples. We introduce the logic PLTL, an extension of Linear-Time Temporal Logic LTL with past-time operators whose atomic formulae are defined from a first-order constraint language dealing with periodicity. The underlying constra...
متن کاملTowards a Temporal Reasoning Approach Dealing with Instance-of, Part-of and Periodicity
In many application areas, including planning, workflow, guidelines and protocol management, the description of the domain requires the use of part-of relations between events, the modeling of periodic repetitions and the treatment of “standard” temporal constraints between such events. Events in plans, workflows etc. represent “classes”, in the sense that they can be instantiated to specific e...
متن کاملToward a Unifying Ontology Dealing with Both User-Defined Periodicity and Temporal Constraints About Repeated Events
This paper proposes a first-order logic axiomatic description of some basic ontological notions underlying the meaning of different types of temporal constraints about repeated events. The paper also shows that such an ontology provides an homogeneous framework that can be used to model and compare the intended meaning of different formalisms in the artificial intelligence and temporal database...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005